- невыводимость
- Mathematics: nonderivability, underivability
Универсальный русско-английский словарь. Академик.ру. 2011.
невыводимость
Смотреть что такое "невыводимость" в других словарях:
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
СИСТЕМА — (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… … Философская энциклопедия
КОНТИНУУМ-ГИПОТЕЗА — гипотеза Г. Кантора (G. Cantor, 1878), состоящая в том, что всякое бесконечное подмножество континуума R равномощно либо множеству натуральных чисел, либо R. Эквивалентная формулировка (при наличии выбора аксиомы): (см. Алефы). Обобщение этого… … Математическая энциклопедия
Безопасность информационных потоков — набор требований и правил, направленных на определение того, какие информационные потоки в системе являются разрешёнными, а какие нет. Данная модель не является самостоятельной, и используется в дополнение к мандатной или дискреционной модели… … Википедия
независимость — (в логике и математике) невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других… … Словарь терминов логики
Душа — (греч. psychē, лат. anima) понятие, выражавшее исторически изменявшиеся воззрения на внутренний мир человека; в религии и идеалистической философии и психологии понятие об особой нематериальной субстанции, независимой от тела. Понятие Д.… … Большая советская энциклопедия
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
Система — (от греч. systema целое, составленное из частей; соединение) множество элементов, находящихся в отношениях и связях друг с другом, которое образует определённую целостность, единство. Претерпев длительную историческую эволюцию, понятие С … Большая советская энциклопедия
БАШЛЯР — (Bachelard) Гастон (1884 1962) французский философ, методолог, культуролог, психолог. Основоположник неореализма как направления (подхода) в философии науки. Сам Б. термином ‘неорационализм’ не пользовался, обозначая свою концепцию (в зависимости … История Философии: Энциклопедия
ОТКРОВЕНИЕ — центральное понятие теистической мистики, выражающее акт непосредственного волеизъявления трансцендентного миру персонифицированного Бога, открывающего себя субъекту как абсолютную истину. О. понимается в теизме в нескольких значениях: 1) с одной … Новейший философский словарь
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
